vector space exercise 6.1